-
1 условная эквивалентность
1) Mathematics: conditioned equivalence (logic)2) Information technology: conditional equivalenceУниверсальный русско-английский словарь > условная эквивалентность
-
2 условный
adj. conditional, conventional, prearranged;
условный союз - conditional conjunction;
условная дисперсия - conditional variance;
условное распределение - conditional distribution;
условное среднее (значение) - conditional mean (value);
условная вероятность - conditional probability;
условное математическое ожидание - conditional expectation;
условная эквивалентность - conditioned equivalence ( logic) -
3 условный
adj.conditional, conventional, prearranged -
4 обязательство обязательств·о
(официальное обещание) obligation, commitment, engagementsбрать на себя обязательство — to pledge / to undertake an engagement
взять на себя обязательство — accept / assume / make / undertake / eriter into a commitment
возлагать / налагать обязательства — to impose / to lay obligations (on)
выполнять / соблюдать обязательства — to comply with obligations, to meet / to satisfy obligations
выполнять взятые / принятые на себя обязательства — to fulfil / to meet the commitments / obligations assumed (upon)
выполнять обязательства по договору — to carry out / to discharge / to fulfil / to honour / to meet / to perform one's commitments / obligations under treaty / embodied in the treaty
нарушать обязательство — to break / to violate an engagement, to violate commitments / obligations
не выполнить своих обязательств — to make default in one's obligations / commitments
освободить от обязательства — to exonerate / to release (smb.) from an obligation
принять обязательство — to accfept an obligation, to enter into an engagement
принимать обязательства в соответствии с договором — to assume / to undertake obligations under a treaty
руководствоваться принятыми на себя обязательствами в соответствии с Уставом ООН — to be guided by the obligations set out / laid down in the UN Charter
связать обязательством — to engage (smb.) by / to lay (smb.) under an obligation
соблюдать обязательства, принятые в соответствии с договором — to abide by / to observe the obligations assumed under the treaty
уклоняться от выполнения обязательств — to evade / to shirk (one's) commitments / obligations
уплатить по обязательству — to discharge an obligation, to meet one's obligation
договорные обязательства — treaty / contract(ual) commitments / obligations
освободиться от выполнения договорных обязательств — to liberate oneself from the obligations of a treaty
освобождение от договорных обязательств — release from treaty obligations, discharge of a contract
переход договорных обязательств или прав от государства-предшественника к государству-преемнику — devolution of treaty obligations or rights from a predecessor state to a successor state
долговое обязательство — obligation; (за печатью) bond of obligation
долгосрочные обязательства — long-term commitments / obligations
кабальное обязательство — enslaving commitment / obligation
краткосрочное обязательство — short-term commitment / obligation
международные обязательства — internatioiial commitments / obligations
непосредственные / прямые обязательства — direct obligations
союзнические обязательства — allied commitments / obligations
срочные обязательства, обязательства на последующий срок — advance commitments
чётко / ясно сформулированные обязательства — clear-cut obligations
нарушение обязательств — breach of obligations, violation of one's commitments
обязательства, принятые сторонами по договору — obligations of the parties assumed under the treaty
сторона, не выполнившая обязательства — party in default
Russian-english dctionary of diplomacy > обязательство обязательств·о
См. также в других словарях:
Conditional expectation — In probability theory, a conditional expectation (also known as conditional expected value or conditional mean) is the expected value of a real random variable with respect to a conditional probability distribution. The concept of conditional… … Wikipedia
Conditioning (probability) — Beliefs depend on the available information. This idea is formalized in probability theory by conditioning. Conditional probabilities, conditional expectations and conditional distributions are treated on three levels: discrete probabilities,… … Wikipedia
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
applied logic — Introduction the study of the practical art of right reasoning. The formalism (formal logic) and theoretical results of pure logic can be clothed with meanings derived from a variety of sources within philosophy as well as from other… … Universalium
Counter machine — A counter machine is an abstract machine used in formal logic and theoretical computer science to model computation. It is the most primitive of the four types of register machines. A counter machine comprises a set of one or more unbounded… … Wikipedia
List of mathematics articles (C) — NOTOC C C closed subgroup C minimal theory C normal subgroup C number C semiring C space C symmetry C* algebra C0 semigroup CA group Cabal (set theory) Cabibbo Kobayashi Maskawa matrix Cabinet projection Cable knot Cabri Geometry Cabtaxi number… … Wikipedia
Mathematics of Sudoku — The class of Sudoku puzzles consists of a partially completed row column grid of cells partitioned into N regions each of size N cells, to be filled in using a prescribed set of N distinct symbols (typically the numbers {1, ..., N}), so that each … Wikipedia
Fortran — Infobox programming language name = Fortran caption = The Fortran Automatic Coding System for the IBM 704 (October 15, 1956), the first Programmer s Reference Manual for Fortran paradigm = multi paradigm: procedural, imperative, structured,… … Wikipedia
Standard probability space — In probability theory, a standard probability space (called also Lebesgue Rokhlin probability space) is a probability space satisfying certain assumptions introduced by Vladimir Rokhlin in 1940 [1] . He showed that the unit interval endowed with… … Wikipedia
Register machine — In mathematical logic and theoretical computer science a register machine is a generic class of abstract machines used in a manner similar to a Turing machine. All the models are Turing equivalent. Contents 1 Overview 2 Formal definition 3 … Wikipedia
Contraposition — For contraposition in the field of traditional logic, see Contraposition (traditional logic). For contraposition in the field of symbolic logic, see Transposition (logic). Contraposition is a logical relationship between two propositions, or… … Wikipedia